<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>



<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="libman.css">
<TITLE>
Constraints
</TITLE>
</HEAD>
<BODY >
<A HREF="libman027.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="libman025.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="libman029.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H2 CLASS="section"><A NAME="htoc60">5.3</A>&nbsp;&nbsp;Constraints</H2><UL>
<LI><A HREF="libman028.html#toc34">Membership</A>
<LI><A HREF="libman028.html#toc35">Cardinality</A>
<LI><A HREF="libman028.html#toc36">Set Relations</A>
<LI><A HREF="libman028.html#toc37">N-ary Set Relations</A>
<LI><A HREF="libman028.html#toc38">Set Weights</A>
</UL>


<A NAME="toc34"></A>
<H3 CLASS="subsection"><A NAME="htoc61">5.3.1</A>&nbsp;&nbsp;Membership</H3>
<DL CLASS="description" COMPACT=compact><DT CLASS="dt-description">
<A HREF="../bips/lib/fd_sets/in-2.html"><B>?X in ?Set</B></A><A NAME="@default163"></A><DD CLASS="dd-description">
 The integer X is member of the integer set Set 
<DT CLASS="dt-description"><A HREF="../bips/lib/fd_sets/notin-2.html"><B>?X notin ?Set</B></A><A NAME="@default164"></A><DD CLASS="dd-description">
 The integer X is not a member of the integer set Set 
<DT CLASS="dt-description"><A HREF="../bips/lib/fd_sets/membership_booleans-2.html"><B>membership_booleans(?Set, ?BoolArr)</B></A><A NAME="@default165"></A><DD CLASS="dd-description">
 BoolArr is an array of booleans describing Set 
</DL>
<A NAME="toc35"></A>
<H3 CLASS="subsection"><A NAME="htoc62">5.3.2</A>&nbsp;&nbsp;Cardinality</H3>
<DL CLASS="description" COMPACT=compact><DT CLASS="dt-description">
<A HREF="../bips/lib/fd_sets/H-2.html"><B>#(?Set, ?Card)</B></A><A NAME="@default166"></A><DD CLASS="dd-description">
 Card is the cardinality of the integer set Set 
</DL>
<A NAME="toc36"></A>
<H3 CLASS="subsection"><A NAME="htoc63">5.3.3</A>&nbsp;&nbsp;Set Relations</H3>
<DL CLASS="description" COMPACT=compact><DT CLASS="dt-description"><A HREF="../bips/lib/fd_sets/difference-3.html"><B>difference(?Set1, ?Set2, ?Set3)</B></A><A NAME="@default167"></A><DD CLASS="dd-description">
 Set3 is the difference of the integer sets Set1 and Set2 <BR>
<BR>
<DT CLASS="dt-description"><A HREF="../bips/lib/fd_sets/disjoint-2.html"><B>?Set1 disjoint ?Set2</B></A><A NAME="@default168"></A><DD CLASS="dd-description">
 The integer sets Set1 and Set2 are disjoint <BR>
<BR>
<DT CLASS="dt-description"><A HREF="../bips/lib/fd_sets/includes-2.html"><B>?Set1 includes ?Set2</B></A><A NAME="@default169"></A><DD CLASS="dd-description">
 Set1 includes (is a superset) of the integer set Set2 <BR>
<BR>
<DT CLASS="dt-description"><A HREF="../bips/lib/fd_sets/intersection-3.html"><B>intersection(?Set1, ?Set2, ?Set3)</B></A><A NAME="@default170"></A><DD CLASS="dd-description">
 Set3 is the intersection of the integer sets Set1 and Set2 <BR>
<BR>
<DT CLASS="dt-description"><A HREF="../bips/lib/fd_sets/sameset-2.html"><B>?Set1 sameset ?Set2</B></A><A NAME="@default171"></A><DD CLASS="dd-description">
 The sets Set1 and Set2 are equal 
<DT CLASS="dt-description"><A HREF="../bips/lib/fd_sets/subset-2.html"><B>?Set1 subset ?Set2</B></A><A NAME="@default172"></A><DD CLASS="dd-description">
 Set1 is a subset of the integer set Set2 
<DT CLASS="dt-description"><A HREF="../bips/lib/fd_sets/symdiff-3.html"><B>symdiff(?Set1, ?Set2, ?Set3)</B></A><A NAME="@default173"></A><DD CLASS="dd-description">
 Set3 is the symmetric difference of the integer sets Set1 and Set2 
<DT CLASS="dt-description"><A HREF="../bips/lib/fd_sets/union-3.html"><B>union(?Set1, ?Set2, ?Set3)</B></A><A NAME="@default174"></A><DD CLASS="dd-description">
 Set3 is the union of the integer sets Set1 and Set2 
</DL>
<A NAME="toc37"></A>
<H3 CLASS="subsection"><A NAME="htoc64">5.3.4</A>&nbsp;&nbsp;N-ary Set Relations</H3>
<DL CLASS="description" COMPACT=compact><DT CLASS="dt-description">
<A HREF="../bips/lib/fd_sets/all_disjoint-1.html"><B>all_disjoint(+Sets)</B></A><A NAME="@default175"></A><DD CLASS="dd-description">
 Sets is a list of integers sets which are all disjoint 
<DT CLASS="dt-description"><A HREF="../bips/lib/fd_sets/all_union-2.html"><B>all_union(+Sets, ?SetUnion)</B></A><A NAME="@default176"></A><DD CLASS="dd-description">
 SetUnion is the union of all the sets in the list Sets 
<DT CLASS="dt-description"><A HREF="../bips/lib/fd_sets/all_intersection-2.html"><B>all_intersection(+Sets, ?SetIntersection)</B></A><A NAME="@default177"></A><DD CLASS="dd-description">
 SetIntersection is the intersection of all the sets in the list Sets 
</DL>
<A NAME="toc38"></A>
<H3 CLASS="subsection"><A NAME="htoc65">5.3.5</A>&nbsp;&nbsp;Set Weights</H3>
<DL CLASS="description" COMPACT=compact><DT CLASS="dt-description">
<A HREF="../bips/lib/fd_sets/weight-3.html"><B>weight(?Set, ++ElementWeights, ?Weight)</B></A><A NAME="@default178"></A><DD CLASS="dd-description">
 According to the array of element weights, the weight of set Set1 is Weight 
</DL>
<HR>
<A HREF="libman027.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="libman025.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="libman029.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
